More from this Author
Found 3 books by Gerard Holzmann (Editor)
NASA -- Formal Methods
by Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
NASA Formal Methods
by Mihaela Bobaru (Editor), Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)
NASA Formal Methods
by Klaus Havelund (Editor), Gerard Holzmann (Editor), Rajeev Joshi (Editor)